1. Bounded Queries in Recursion Theory
پدیدآورنده : by William I. Gasarch, Georgia A. Martin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
2. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
3. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
4. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده : Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983
5. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
6. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
7. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
8. Logic and Complexity
پدیدآورنده : by Richard Lassaigne, Michel Rougemont.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
9. Theory of computation
پدیدآورنده : / Dexter C. Kozen
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
10. Theory of computation
پدیدآورنده : / Dexter C. Kozen
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
11. Theory of computation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;
12. Theory of computation : with 75 illustrations
پدیدآورنده : Kozen, Dexter
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computational complexity,Mathematics ، Computer science,، Recursion theory
رده :
QA
267
.
7
.
K69
2006
